Automated theorem proving - PDFSEARCH.IO - Document Search Engine

Automated theorem proving
Results: 768

#	Item
601	Distributed Proving in Access-Control Systems∗ Lujo Bauer† Scott Garriss‡ Abstract Add to Reading List Source URL: www.ece.cmu.edu Language: English - Date: 2012-06-20 08:58:08 Mathematical logic Automated theorem proving IP Theorem prover Mathematical proof ML Algorithm Prolog Alice Programming language theory Software engineering Computing
602	TUGboat, Volume[removed]), No[removed]ProofCheck: Writing and checking complete proofs in LATEX Add to Reading List Source URL: www.tug.org Language: English - Date: 2009-09-26 12:32:25 Logical syntax Automated theorem proving Proof theory Model theory Theorem Mathematical proof TeX First-order logic Unification Logic Mathematics Mathematical logic
603	Verification of equivalence properties in security protocols Laboratory, institution and university LSV, ENS Cachan and LORIA, Nancy universit´es. The internship will be located at Nancy or at ENS Cachan depending on th Add to Reading List Source URL: www.loria.fr Language: English - Date: 2013-10-21 04:06:12 Free software ProVerif Ciphertext indistinguishability Science Automated theorem proving Cachan Mathematical sciences Applied mathematics Cryptography Cryptographic protocols Cryptographic software
604	Learning the Structure of Markov Logic Networks Stanley Kok KOKS @ CS . WASHINGTON . EDU Pedro Domingos PEDROD @ CS . WASHINGTON . EDU Department of Computer Science & Engineering, University of Washington, Seattle, WA 9 Add to Reading List Source URL: www.machinelearning.org Language: English - Date: 2008-12-01 11:15:04 Predicate logic Model theory Automated theorem proving Artificial intelligence Markov logic network Prolog Unit propagation Predicate Markov chain Logic Mathematical logic Linguistics
605	TUGboat, Volume[removed]), No[removed]ProofCheck: Writing and checking complete proofs in LATEX Add to Reading List Source URL: tug.org Language: English - Date: 2009-09-26 12:32:25 Logical syntax Automated theorem proving Proof theory Model theory Theorem Mathematical proof TeX First-order logic Unification Logic Mathematics Mathematical logic
606	A Comparative Study on Methods for Reducing Myopia of Hill-Climbing Search in Multirelational Learning Lourdes Pe˜ na Castillo Otto-von-Guericke-University Magdeburg, Germany Add to Reading List Source URL: www.machinelearning.org Language: English - Date: 2008-12-01 11:19:41 Automated theorem proving Logic programming Inductive logic programming PROGOL Unit propagation Clause Macro Rule induction Time complexity Theoretical computer science Computer programming Applied mathematics
607	Tech Digest Figure Template_1 column_01-06-12 Add to Reading List Source URL: www.jhuapl.edu Language: English - Date: 2013-09-26 17:40:05 Lisp programming language Functional languages Formal methods Automated theorem proving Procedural programming languages ACL2 Lisp Formal verification Nqthm Computing Software engineering Computer programming
608	S PE C I A L R E P ORT PROPOSITION 220 J U DI CI A L CO U NC I L O F C A L I F O R N I A • A D M I N I S T R ATI VE O FFI C E O F TH E CO U RTS NOVEMBER 25, 1998 Add to Reading List Source URL: courts.ca.gov Language: English - Date: 2014-07-25 15:36:49 San Bernardino California Superior court United States Constitution Geography of California Government California Superior Courts of California Automated theorem proving Logic programming Unification
609	Common Curriculum Framework Grades[removed]Mathematics Add to Reading List Source URL: www.bced.gov.bc.ca Language: English - Date: 2013-11-27 16:49:36 Educational psychology Problem solving Automated theorem proving Constraint programming Deduction Reasoning system Mathematics Visualization Statistics Science Information Artificial intelligence
610	Inference In Text Understanding Peter Norvig Computer Science Dept., Evans Hall University of California, Berkeley Berkeley CA[removed]This work was supported in part by National Science Foundation grant IST[removed]and by Add to Reading List Source URL: norvig.com Language: English - Date: 2003-10-28 02:50:56 Philosophy of science Automated theorem proving Logical consequence Resolution Causality Rule of inference Logic Reasoning Inference

UPDATE